Model Checking
نویسندگان
چکیده
We would like to thank Professor Loh and Professor Gelman for their thoughtful comments. Some of the detailed points that the discussants bring up remind us to emphasize that in many regards our article offers only an overview of the scientific questions we aim to address and of the methods, models, and algorithms that we employ. Some technical details are omitted in the interest of readability and space constraints. We hope that readers interested in the problems we discuss will consider reading the several related articles cited here and in the main article.
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کاملCoastal Water Level Prediction Model Using Adaptive Neuro-fuzzy Inference System
This paper employs Adaptive Neuro-Fuzzy Inference System (ANFIS) to predict water level that leads to flood in coastal areas. ANFIS combines the verbal power of fuzzy logic and numerical power of neural network for its action. Meteorological and astronomical data of Santa Monica, a coastal area in California, U. S. A., were obtained. A portion of the data was used to train the ANFIS network, wh...
متن کاملChecking the Sensitivity of Solute Advection- Dispersion Model to Reaction Coefficients and River Hydraulic Properties in the Process of Dissolved Oxygen Simulation
Nowadays, environmental pollutions especially water pollution is increasingly developing. One of the problems of entering the pollutants to rivers is reduction in the concentration of river dissolved oxygen. In order to manage the water resources, amount of dissolved oxygen should be predicted. This study presents a novel equation for simulating the concentration of river dissolved oxygen by ad...
متن کامل